Skip to content

Revert "Revert "Merge pull request #8592 from jketema/implied-cctor-source""#8692

Merged
jketema merged 1 commit into
github:mainfrom
jketema:implied-cctor-source
Apr 7, 2022
Merged

Revert "Revert "Merge pull request #8592 from jketema/implied-cctor-source""#8692
jketema merged 1 commit into
github:mainfrom
jketema:implied-cctor-source

Conversation

@jketema

@jketema jketema commented Apr 7, 2022

Copy link
Copy Markdown
Contributor

This reverts commit b1d9a07.

@jketema jketema added C++ depends on internal PR This PR should only be merged in sync with an internal Semmle PR no-change-note-required This PR does not need a change note labels Apr 7, 2022
@jketema jketema requested a review from a team as a code owner April 7, 2022 10:33
@jketema jketema merged commit 319ff35 into github:main Apr 7, 2022
@jketema jketema deleted the implied-cctor-source branch April 7, 2022 11:38
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

C++ depends on internal PR This PR should only be merged in sync with an internal Semmle PR no-change-note-required This PR does not need a change note

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants